Why Waste a Perfectly Good Abstraction?
نویسندگان
چکیده
Software model-checking based on the CEGAR framework can be made more precise by separating non-determinism from the lack of information due to abstraction. The two can be modeled individually using four-valued Belnap logic. In addition, this logic allows reasoning about negations effectively and thus enables checking of full CTL. In this paper, we present YASM – a new symbolic software model-checker. Preliminary experience with YASM shows that our implementation can effectively construct and analyze Belnap models without a substantial overhead when compared to its classical counterparts.
منابع مشابه
Why Let Perfectly Good Usability Data Go to Waste?
The World Wide Web enables cheap, rapid, and large-scale distribution of software for evaluation purposes. However, current techniques for collecting usability data have not kept pace with the opportunities presented by Web-based deployment. This paper presents a technique for remotely capturing meaningful usability data that is currently going to waste. This approach has the potential of impro...
متن کاملSustainable solid waste management: An appraisal of institutional limitations
This study investigates the underlying factors elucidating why solid waste management in Eldoret Town, Kenya, has up to now remained inadequate notwithstanding the existing legal framework that mandates the County Government of Uasin Gishu to ensure that all residents have access to a clean and healthy environment. The study adopted a descriptive research design. While, primary data were collec...
متن کاملFirst-Best and Second-Best Regulation of Solid Waste under Imperfect Competition in a Durable Good Industry
Under the assumption of imperfect competition in a durable good industry, the present paper investigates the efficient regulation of solid waste which causes environmental damage at the end of the product’s life. It turns out that the second-best waste tax falls short of the marginal environmental damage if the producers rent their products but may also exceed the marginal damage if the produce...
متن کاملWhy and How Is Compassion Necessary to Provide Good Healthcare? Comments From an Academic Physician; Comment on “Why and How Is Compassion Necessary to Provide Good Quality Healthcare?”
This is a short commentary to the editorial issued by Marianna Fotaki, entitled: “Why and how is compassion necessary to provide good quality healthcare.” It introduces the necessity of a more cognitive approach to explore further the determinants of behavior towards compassionate care. It raises questions about the importance of training towards a more patient-care and values driven healthcare...
متن کاملWhy Good Quality Care Needs Philosophy More Than Compassion; Comment on “Why and How Is Compassion Necessary to Provide Good Quality Healthcare?”
Although Marianna Fotaki’s Editorial is helpful and challenging by looking at both the professional and institutional requirements for reinstalling compassion in order to aim for good quality healthcare, the causes that hinder this development remain unexamined. In this commentary, 3 causes are discussed; the boundary between the moral and the political; Neoliberalism; and the underdevelopment ...
متن کامل